Inner product

Metadata
aliases: []
shorthands: {}
created: 2021-12-03 13:33:50
modified: 2022-01-10 04:13:04

An inner product on a vector space over the field is a map with the following properties.

  1. , we have
  2. : is real and non-negative, and only if
  3. and , we have and
  4. , we have and

Comments